A Gentzen System for Reasoning with Contrary-To-Duty Obligations. A Preliminary Study
نویسندگان
چکیده
In this paper we present a Gentzen system for reasoning with contraryto-duty obligations. The intuition behind the system is that a contraryto-duty is a special kind of normative exception. The logical machinery to formalize this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the system is tested against well-known contrary-to-duty paradoxes.
منابع مشابه
Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the...
متن کاملAnnals of Mathematics and Artiical Inteligence 0 (2000) ?{? 1 Contrary-to-duty Reasoning with Preference-based Dyadic Obligations
In this paper we introduce Prohairetic Deontic Logic (PDL), a preference-based dyadic deontic logic. In our preference-based interpretation of obligations`should be (done) if is (done)' is true if (1) no : ^ state is as preferable as an ^ state and (2) the preferred states are states. We show that this representation solves diierent problems of deontic logic. The rst part of the deenition is us...
متن کاملContrary-to-Duty Obligations
We investigate under what conditions contrary-to-duty (CTD) structures lacking temporal and action elements can be given a coherent reading. We argue, contrary to some recent proposals, that CTD is not an instance of defeasible reasoning, and that methods of nonmonotonic logics are inadequate since they are unable to distinguish between defeasibility and violation of primary obligations. We pro...
متن کاملContrary to Duty Obligations A Study in Legal Ontology
In this paper the problems in deontic logic around contrary to duty obligations are used to conduct a study in basic normative ontology. Three causes of the problems around contrary to duty obligations are identified, that is 1) the attempt to analyze obligations in terms of what is ideally the case, 2) the application of deontic inheritance to the presuppositions of obligations, and 3) the fai...
متن کاملA Formal Analysis of a Business Contract Language
This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the formalism for the representation of contrary-to-duty obligations. These are the obligations that take place when other obligations are violated as typically applied to penalties in contracts. The paper shows how this formalism can be mapped onto the key policy concepts of a...
متن کامل